An Algorithm to Compute the Möbius Function of the Rotation Lattice of Binary Trees

Though the rotation lattice of binary trees is not a modular lattice^ we show that its Möbius fonction jx can be computed as f or distributive lattices. If T and T' are binary trees with n internai nodes, a O(n) time and O{n) space algorithm is developedfor Computing \i(T, 7"). Résumé. Bien que le treillis de rotation des arbres binaires ne soit pas modulaire, on montre que sa fonction de Möbius \i se calcule de la même manière que pour les treillis distributifs. Si T et T' sont deux arbres binaires à n nœuds internes, on exhibe un algorithme de complexité O (n) en temps et O(n) en espace pour calculer u ( r , T'\